Support VMX guest accesses to IA32_TIME_STAMP_COUNTER MSR.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 13 Dec 2005 16:08:05 +0000 (17:08 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 13 Dec 2005 16:08:05 +0000 (17:08 +0100)
commitbb79a7bc45657dcf4478d84ef33833904f79f89e
treeb9ba6432d46375e56318baa01c95988a930bce43
parentbed1b35f48292f12b68735180c90ec6e049d62ca
Support VMX guest accesses to IA32_TIME_STAMP_COUNTER MSR.

Signed-off-by: Haifeng Xue <haifeng.xue@intel.com>
xen/arch/x86/vmx.c
xen/arch/x86/vmx_io.c
xen/include/asm-x86/msr.h
xen/include/asm-x86/vmx_vpit.h